Intelligent Support for Systems Verification Werner Stephan, Lassaad Cheikhrouhou, Bruno Langenstein German Research Centre for Artificial Intelligence April 29, 2011

Source URL: www.ai4fm.org

• Knowledge
• Mathematical proof
• Heuristic
• Formal specification
• Logic
• Automated theorem proving
• Formal methods
• Mathematics
• Problem solving

2740231735874HEIMS Quality Assurance Plan 00HEIMS Quality Assurance Plan -257175889635002771775308038500-25717531305500027432005175885Reducing your workload

Source URL: heimshelp.education.gov.au

• Systems engineering
• Validity
• Verification and validation
• Formal verification
• Applied mathematics
• Mathematics
• Science
• Food safety
• Pharmaceutical industry
• Quality management

-1- Pascal-F Verifier User’s Manual Version 2

Source URL: www.animats.com

• Formal methods
• NP
• The Verifier
• Formal verification
• IP
• Assertion
• Theoretical computer science
• Applied mathematics
• Logic in computer science

Proc. TACAS 2015, (c) Springer . Verifiable Witnesses Software Verification and (Report on SV-COMPDirk Beyer

Source URL: www.sosy-lab.org

• Applied mathematics
• Formal verification
• Software verification
• Model checking
• Linear temporal logic
• Verilog
• Mathematics
• Formal methods
• Logic in computer science
• Theoretical computer science

Doron Drusinsky Doron Drusinsky Associate Professor Research Areas

Source URL: www.nps.edu

• Formal verification
• Temporal logic
• Verification
• Mathematics
• Formal methods
• Logic in computer science
• Model checking

Applying the B Formal Method to the Bossa Domain-Specific Language Jean-Paul Bodeveix Mamoun Filali IRIT Universit´e Paul Sabatier {bodeveix,filali}@irit.fr

Source URL: pagesperso-systeme.lip6.fr

• Formal methods
• Applied mathematics
• Process
• Planning
• Process state
• Formal verification
• Blocking
• Domain-specific language
• Formal specification
• Computing
• Concurrent computing
• Scheduling

Formal Verification of Computer Narratives Christopher J.F. Pickett School of Computer Science, McGill University Montr´eal, Qu´ebec, Canada H3A 2A7

Source URL: www.sable.mcgill.ca

• Graph connectivity
• Reachability
• S0

Microsoft Word - D1 3_v1.1 - FINAL.doc

Source URL: www.envision-project.eu

• Validity
• Science
• Formal methods
• Software quality
• RM-ODP
• Validation
• Verification and validation
• Software testing
• Software development process
• Software development
• Systems engineering
• Pharmaceutical industry

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Formal verification of a C-like memory model and its uses for verifying program transformations Xavier Leroy · Sandrine Blazy

Source URL: pauillac.inria.fr

Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy

Source URL: pauillac.inria.fr

• Computing
• Programming language theory
• Compiler construction
• Models of computation
• Instruction scheduling
• Denotational semantics
• Trace scheduling
• Abstract interpretation
• Assembly language
• Compiler optimizations
• Programming language implementation
• Software engineering